منابع مشابه
Towards Reversible Sessions ∗ Francesco
In this work, we incorporate reversibility into structured communication-based programming, to allow parties of a session to automatically undo, in a rollback fashion, the effect of previously executed interactions. This permits taking different computation paths along the same session, as well as reverting the whole session and starting a new one. Our aim is to define a theoretical basis for e...
متن کاملTowards Reversible Sessions
In this work, we incorporate reversibility into structured communication-based programming, to allow parties of a session to automatically undo, in a rollback fashion, the effect of previously executed interactions. This permits taking different computation paths along the same session, as well as reverting the whole session and starting a new one. Our aim is to define a theoretical basis for e...
متن کاملTowards Reversible Computation in Erlang
In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programming languages and formalisms, where it has been used for debugging and for enforcing faulttolerance, among others. In this paper, we consider a subset of Erlang, a concurrent language based on the actor model. We formal...
متن کاملVasectomy reversal for post-vasectomy pain syndrome
Post-vasectomy pain syndrome (PVPS) is a rare, but devastating outcome following vasectomy. Given the widespread utilization of vasectomy for permanent contraception, with more than 500,000 procedures performed annually in the United States, it can be a significant challenge for both patients and providers. Vasectomy reversal is a surgical option for men who fail conservative or medical managem...
متن کاملTowards Reverse Engineering Reversible Logic
Reversible logic has two main properties. First, the number of inputs is equal to the number of outputs. Second, it implements a one-to-one mapping; i.e., one can reconstruct the inputs from the outputs. These properties enable its applications in building quantum computing architectures. In this paper we study reverse engineering of reversible logic circuits, including reverse engineering of n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Andrology
سال: 1992
ISSN: 0105-6263,1365-2605
DOI: 10.1111/j.1365-2605.1992.tb01137.x